TSTP Solution File: ITP123^2 by Nitpick---2016